#pull [[a pattern language]]